Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
801	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
802	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:39 Procedural programming languages Source code Functional programming High-level programming languages Assignment Eval Scheme C Subroutine Software engineering Computing Computer programming
803	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
804	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering
805	Curriculum Vitae Luca Aceto School of Computer Science Reykjav´ık University MenntavegurReykjav´ık Add to Reading List Source URL: www.ru.is Language: English - Date: 2014-10-19 10:54:51 Orc International Colloquium on Automata Languages and Programming Aalborg University Matthew Hennessy Actor model Aalborg Logic programming Theoretical computer science Computer science Computing
806	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
807	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:54 Lisp programming language Functional languages APL programming language family Array programming languages Command shells Scheme Programming language Eval Lisp Computing Software engineering Computer programming
808	Principles and Methods for Automated Inference Rina Dechter and Irina Rish Information and Computer Science Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:22 Functions and mappings Statistics Bayesian network Constraint satisfaction Constraint optimization Function Constraint logic programming Constraint programming Mathematics Mathematical optimization
809	DL-Learner Manual Jens Lehmann February 13, 2015 DL-Learner is a machine learning framework for OWL and description logics. It includes several learning algorithms and is easy to extend. DLLearner widens the scope of Ind Add to Reading List Source URL: dl-learner.org Language: English - Date: 2015-02-13 08:51:20 Artificial intelligence Description logic Information science Non-classical logic Web Ontology Language Semantic reasoner Machine learning Inductive logic programming Semantic Web Science Information
810	Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:26 Computing Constraint satisfaction Local consistency Common subexpression elimination Constraint algorithm Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE